Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements
نویسنده
چکیده
There are three sections in this paper. The first is a philosophical discussion of the general problem of reasoning under limited deductive capacity. The second sketches a rigorous way of assigning probabilities to statements in pure arithmetic; motivated by the preceding discussion, it can nonetheless be read separately. The third is a philosophical discussion that highlights the shifting contextual character of subjective probabilities and beliefs.
منابع مشابه
Haim Gaifman Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements
There are three sections in this paper. The first is a philosophical discussion of the general problem of reasoning under limited deductive capacity. The second sketches a rigorous way of assigning probabilities to statements in pure arithmetic; motivated by the preceding discussion, it can nonetheless be read separately. The third is a philosophical discussion that highlights the shifting cont...
متن کاملInductive Coherence
While probability theory is normally applied to external environments, there has been some recent interest in probabilistic modeling of the outputs of computations that are too expensive to run. Since mathematical logic is a powerful tool for reasoning about computer programs, we consider this problem from the perspective of integrating probability and logic. Recent work on assigning probabilit...
متن کاملLogical Induction (Abridged)∗
We present a computable algorithm that assigns probabilities to every logical statement in a given formal language, and refines those probabilities over time. For instance, if the language is Peano arithmetic, it assigns probabilities to all arithmetical statements, including claims about the twin prime conjecture, the outputs of long-running computations, and its own probabilities. We show tha...
متن کاملLogical Induction
We present a computable algorithm that assigns probabilities to every logical statement in a given formal language, and refines those probabilities over time. For instance, if the language is Peano arithmetic, it assigns probabilities to all arithmetical statements, including claims about the twin prime conjecture, the outputs of long-running computations, and its own probabilities. We show tha...
متن کاملSex differences in spatial cognition, computational fluency, and arithmetical reasoning.
Alternative explanations for the male advantage in arithmetical reasoning, as measured by the ability to solve complex word problems, include a male advantage in spatial cognition and a male advantage in computational fluency. The current study was designed to test these competing hypotheses. To this end, 113 male and 123 female undergraduates were administered arithmetical computations and ari...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Synthese
دوره 140 شماره
صفحات -
تاریخ انتشار 2004